Nuprl Definition : sender 0,22

sender(e) == ecase1(e;info;i.;l,e'.e') 
latex



clarification:

sender(info;e) == ecase1(e;info;i.;l,e'.e') 
latex


Definitions, ecase1(e;info;i.f(i);l,e'.g(l;e'))
FDL editor aliasessender

origin